union{-}deq($A$; $B$; $a$; $b$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$<$sumdeq($a$; $b$), $\lambda$$p$,$q$. $<\lambda$$x$.axiom, $\lambda$$x$.axiom$>>$